一种有效的红外图像融合算法

给出了一种基于átrous算法红外与可见光图像融合算法,该算法主要针对光谱差异较大以及配准精度较低的这类图像的融合算法。该算法首先对融合图像源进行átrous算法分解;随后,对分解的低频信息利用取加权法进行融合;高频信息首先利用边缘检测技术对不同尺度不同方向的高频信息进行边缘点的加强,然后以区域的空间频率为度量标准得到新的高频系数;最后进行átrous算法重构得到最终的融合图像。通过两组红外和可见光图像的融合实验,结果表明该方法能有效地突出边缘细节,提高图像分辨效果和人眼对场景目标的发现和识别概率。     

舰船真空海水淡化装置热力分析

针对目前舰船上广泛使用的真空式海水淡化装置进行热力分析,建立起海水淡化装置的数学模型,以50 t/d真空式海水淡化装置为例,通过对不同蒸发温度和不同工作蒸汽压力进行模拟计算,得到海水淡化装置的产水量、工作蒸汽耗量及冷却水流量随蒸发温度和工作蒸汽压力的变化规律,所得结论与装置的实验及实际运行情况有很好的一致性,证明所建立的数学模型是合适的,所得结论可以指导装置的使用管理及海水淡化装置的设计.     

类比推理中的一种相似性准则及其验证方法

类比推理是人工智能领域中的重要研究方向,而相似性准则是类比推理中的重要概念。文中给出了类比推理的一种描述框架,定义了相似性准则,并且基于项重写技术,提出了相应的验证方法。     

ABOUT CASE

ＡＢＯＵＴＣＡＳＥＹａｎｇＳｈｕｑｉａｎｇ;ＷａｎｇＦｅｎｇ;ＣｈｅｎＨｕｏｗａｎｇ（ＤｅｐａｒｔｍｅｎｔｏｆＣｏｍｐｕｔｅｒＳｃｉｅｎｃｅ,ＮＵＤＴ,Ｃｈａｎｇｓｈａ,４１００７３）Ａｂｓｔｒａｃｔ：Ｃｏｍｐｕｔｅｒ－ａｉｄｅｄｓｏｆｔｗａｒｅｅｎ...     

AN UNIFIED METHOD AND THEORY FOR GRAMMAR DESIGN OF A CLASS OF CONTEXT-SENSITIVE LANGUAGES

ＡＮＵＮＩＦＩＥＤＭＥＴＨＯＤＡＮＤＴＨＥＯＲＹＦＯＲＧＲＡＭＭＡＲＤＥＳＩＧＮ　ＯＦＡＣＬＡＳＳＯＦＣＯＮＴＥＸＴ－ＳＥＮＳＩＴＩＶＥＬＡＮＧＵＡＧＥＳＬｉＺｈｏｕｊｕｎ;ＣｈｅｎＨｕｏｗａｎｇ;ＬｉＫａｎ（ＤｅｐａｒｔｍｅｎｔｏｆＣｏｍｐｕｔｅｒ...     

一个多层的 context 逻辑

本文介绍了ｃｏｎｔｅｘｔ研究的现状,定义了一个新的ｃｏｎｔｅｘｔ逻辑ＣＬ,定义并证明了与之相关的一些概念和定理。     

低分辨雷达基于波形特征的飞机架次判别方法

通过分析低分辨雷达飞机目标回波波形,提取出低分辨雷达飞机目标架次可资分类的特征参数作为飞机目标架次判别的特征向量。最后,采用模糊极大极小神经网络作为分类器,在低分辨雷达目标识别样机系统对机群目标进行分类识别试验中,验证了所提取特征的有效性。     

基于MAP估计的图像超分辨率重建

从一组低分辨率图像中重建一幅高分辨率图像,给出基于MAP估计的近似算法。描述从场景空间到观测图像的线性映射关系,介绍了核心重建算法;算法适合观测条件相似的情况。在贝叶斯方法中,使用Laplace算子作估计图像的领域平滑相关性假设。最后的实验表明了算法在改善空间分辨率上的显著效果。     

薄膜晶体管液晶显示器对空间光调制模式与偏振器方向的关系

薄膜晶体管液晶显示器TFT LCD(Thin Film TransistorLiquidCrystalDevice)是信息光学研究中一种非常重要的电寻址空间光调制器SLM(SpatialLightModulator)。实验中通过调整TFT LCD的起偏器或检偏器的方向,可以分别得到正像、边缘暗突出像、负像等,并结合具有双折射特性的线性扭曲液晶介质对线偏振光的调制理论,对此给出解释。     

基于灰色时序的完整性规范技术

计算机系统的完整性安全策略模型与规范问题，是计算机安全研究中最重要的课题之一。已有的研究结果离实际应用还相差太远，例如Ｃｌａｒｋ－Ｗｉｌｓｏｎ完整性模型只是提出了一个框架。本文呈现了我们构造的形式化灰色时序安全策略规范语言（ＧＴＳＬ）。ＧＴＳＬ的理论基础是灰色系统理论和时序规范语言ＬＯ－ＴＯＳ理论。由于它在完整性规范能力、完整性验证过程的构造与表示、责任分离合理性测试等一系列技术方面的完善与创新，使得ＧＴＳＬ成为真正能够实际使用的完整性安全策略规范语言。